Section: New Results
Fast computation of
Participant : Yves Bertot.
In the previous year, we studied a proof that could be approximated with a fast converging sequence based on arithmetic geometric means. This year we described a proof that rounding errors during this computation could be guaranteed as small as needed, based on a study of derivatives. This approach provides a fruitful alternative to interval-based approaches. The result was published in [16] .
We also completed a journal paper on various ways to observe and compute the number [7] .